Auteurs
Exploration
Accueil
Racine
Exploration
Accueil
Racine

Serveur d'exploration sur la recherche en informatique en Lorraine - Exploration (Accueil)

Index « Auteurs » - entrée « Steve Kremer »
Attention, ce site est en cours de développement !
Attention, site généré par des moyens informatiques à partir de corpus bruts.
Les informations ne sont donc pas validées.
Steve Fuller < Steve Kremer < Steve Mccourt  Facettes :

List of bibliographic references indexed by Steve Kremer

Number of relevant bibliographic references: 26.
[0-20] [0 - 20][0 - 26][20-25][20-40]
Ident.Authors (with country if any)Title
000057 (2016-03) Steve Kremer [France] ; Peter R Nne [France]To Du or not to Du: A Security Analysis of Du-Vote
000126 (2016) Rohit Chadha [États-Unis] ; Vincent Cheval [France] ; Tefan Ciobâc [Roumanie, France] ; Steve Kremer [France]Automated verification of equivalence properties of cryptographic protocols
000590 (2015-04-11) Véronique Cortier [France] ; Fabienne Eigner [Allemagne] ; Steve Kremer [France] ; Matteo Maffei [Allemagne] ; Cyrille Wiedling [Belgique]Type-Based Verification of Electronic Voting Protocols
000951 (2014-09-13) Véronique Cortier [France] ; Steve Kremer [France]Formal Models and Techniques for Analyzing Security Protocols: A Tutorial
000A95 (2014-06-19) Myrto Arapinis [Royaume-Uni] ; Stéphanie Delaune [France] ; Steve Kremer [France]Dynamic Tags for Security Protocols
000B57 (2014-05-18) Steve Kremer [France] ; Robert Künnemann [France]Automated Analysis of Security Protocols with Global State
000C53 (2014-03-05) Steve Kremer [France] ; Robert Künnemann [Allemagne]Automated analysis of security protocols with global state
000D42 (2014) Martin Abadi [États-Unis] ; Steve Kremer [France]Principles of Security and Trust
001278 (2013-03-16) Myrto Arapinis [Royaume-Uni] ; Véronique Cortier [France] ; Steve Kremer [France] ; Mark D. Ryan [Royaume-Uni]Practical Everlasting Privacy
001378 (2013) Céline Chevalier [France] ; Stéphanie Delaune [France] ; Steve Kremer [France] ; Mark D. Ryan [Royaume-Uni]Composition of Password-based Protocols
001454 (2013) Steve Kremer [France] ; Robert Künnemann [France] ; Graham Steel [France]Universally Composable Key-Management
001A52 (2012-06-26) Stéphanie Delaune [France] ; Steve Kremer [France] ; Daniel Pasaila [Canada]Security protocols, constraint systems, and group theories
001B76 (2012-04-10) Steve Kremer [France] ; Robert Kunnemann [France] ; Graham Steel [France]Universally Composable Key-Management
001C66 (2012) Steve Kremer [France] ; Antoine Mercier [France] ; Ralf Treinen [France]Reducing Equational Theories for the Decision of Static Equivalence
001C92 (2012) Stefan Ciobaca [France] ; Stéphanie Delaune [France] ; Steve Kremer [France]Computing knowledge in security protocols under convergent equational theories
001C97 (2012) Rohit Chadha [États-Unis] ; Vincent Cheval [Royaume-Uni] ; Stefan Ciobaca [Roumanie] ; Steve Kremer [France]Automated Verification of Equivalence Properties of Cryptographic Protocols
001F62 (2011-12-12) Céline Chevalier [France] ; Stéphanie Delaune [France] ; Steve Kremer [France]Transforming Password Protocols to Compose
002848 (2011) Véronique Cortier [France] ; Steve Kremer [France]Formal Models and Techniques for Analyzing Security Protocols
003127 (2010) Véronique Cortier [France] ; Steve Kremer [France] ; Bogdan Warinschi [Royaume-Uni]A Survey of Symbolic Methods in Computational Analysis of Cryptographic Systems
003B86 (2009) Mathieu Baudet [France] ; Véronique Cortier [France] ; Steve Kremer [France]Computationally sound implementations of equational theories against passive adversaries
003D12 (2009) Véronique Cortier [France] ; Steve Kremer [France] ; Bogdan Warinschi [Royaume-Uni]A Survey of Symbolic Methods in Computational Analysis of Cryptographic Systems

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Main/Exploration

HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/Author.i -k "Steve Kremer" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/Author.i  \
                -Sk "Steve Kremer" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/Main/Exploration/biblio.hfd

Pour mettre un lien sur cette page dans le réseau Wicri

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Main
   |étape=   Exploration
   |type=    indexItem
   |index=    Author.i
   |clé=    Steve Kremer
}}
Wicri

This area was generated with Dilib version V0.6.33.
Data generation: Mon Jun 10 21:56:28 2019. Site generation: Fri Feb 25 15:29:27 2022